1. An Attribute grammar for the semantic analysis of ADA

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Ada (Computer program language),Ada (Langage de programmation),Programming languages (Electronic computers) -- Semantics.

رده :
QA76
.
73
.
A35
J845
1982

2. An Attribute grammar for the semantic analysis of ADA

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Ada )Computer program language(,، Programming languages )Electronic computers(-- Semantics

رده :
QA
76
.
73
.
A35
.
A87
1982

3. Cognitive modeling and verbal semantics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Cognitive grammar,Programming languages (Electronic computers)-- Semantics,Semantics-- Mathematical models,UML (Computer science)

4. Complementary definitions of programming language semantics

پدیدآورنده :

موضوع : ، Programming languages )Electronic computers(,، Pascal )Computer program language(,، Semantics

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

5. Computational Semantics with Functional Programming

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه‌نویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)

رده :
QA76
,.
7
.
E43
2010

6. Computational semantics with functional programming

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Programming languages (Electronic computers)-- Semantics.,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه نویسی کامپیوتر -- معنی شناسی ,زبان های برنامه نویسی تابعی -- علوم کامپیوتر,(هسکل(زبان برنامه نویسی کامپیوتر

رده :
QA
76
.
7
.
E35C6
2010
E-Book
,

7. Conference record : ACM SIGPLAN ASIA-PEPM 2002 : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : papers presented at the symposium, Aizu, Japan, September 12-14, 2002

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
6
.
P45
2002

8. Database applications semantics: proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics )DS-6( Stone Mountain, Atlanta, Georgia, U.S.A., May 30 - June 2, 1995

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : Congresses ، Data structures )Computer science(,Congresses ، Programming Languages )Electronic computers(-- Semantics

رده :
QA
76
.
9
.
D35
.
I351
1995

9. Domain-theoretic foundations of functional programming

پدیدآورنده :

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع : Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)

رده :
QA
76
.
7
.
S818
2006

10. Fairness

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(

رده :
QA
76
.
6
.
F72
1986

11. Formal syntax and semantics of Java

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
1523

12. Formal syntax and semantics of Java

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;

13. Formal syntax and semantics of Java

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Java (Computer program language),Programming languages (Electronic computers)--Semantics

رده :
QA
,
76
.
73
,.
J38
,
F67
,
1999

14. Initial computability, algebraic specifications, and partial algebras

پدیدآورنده :

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع : Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras

رده :
QA
76
.
9
.
M35R45
1987

15. Introduction to natural language processing

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Interactive computer system,Semantics ، Programming languages )Electronic computers(

رده :
QA
76
.
9
.
I58
H37
1985

16. Introduction to the theory of programming languages

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Progamming languages )Electronic computer(,Semantics ، Programming languages )Electronic computers(

رده :
QA
76
.
7
.
M49
1991

17. Introduction to the theory of programming languages

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع : Programming languages (Electronic computer),Programming languages (Electronic computers) - Semantics

رده :
QA76
.
7
.
M49
1988

18. Journal on data semantics VII

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Database management. ; Programming languages (Electronic computers) ; Semantics. ; Semantic integration (Computer systems) ; Semantic networks (Information theory) ;

19. Language, logic, and computation :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.

رده :
QA76
.
9
.
L63

20. Languages for paralle architecturres

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)

موضوع : Parallel Processing (Computer Science),Programming languages ( Electronic computers) --Semantics,Computer architecture

رده :
QA
76
.
6
.
L3353
1989